Semigroup identities in the monoid of two-by-two tropical matrices
نویسندگان
چکیده
We show that the monoid M2(T) of 2 × 2 tropical matrices is a regular semigroup satisfying the semigroup identity A2B4A2A2B2A2B4A2 =A2B4A2B2A2A2B4A2. Studying reduced identities for subsemigroups of M2(T), and introducing a faithful semigroup representation for the bicyclic monoid by 2 × 2 tropical matrices, we reprove Adjan’s identity for the bicyclic monoid in a much simpler way.
منابع مشابه
Automaton semigroup constructions
The aim of this paper is to investigate whether the class of automaton semigroups is closed under certain semigroup constructions. We prove that the free product of two automaton semigroups that contain left identities is again an automaton semigroup. We also show that the class of automaton semigroups is closed under the combined operation of ‘free product followed by adjoining an identity’. W...
متن کاملEmbedding in a nite 2-generator semigroup
In this paper we will be on erned with the possibility of embedding a nite semigroup S into a nite 2-generated semigroup T that shares properties with S. In parti ular we show that any nite orthodox semigroup S may be embedded in a nite orthodox semigroup T generated by two group elements and that any nite orthodox monoid S1 may be embedded as a semigroup into a nite 2-generated orthodox monoid...
متن کاملAdjoining Identities and Zeros to Semigroups
This note shows how iteration of the standard process of adjoining identities and zeros to semigroups gives rise naturally to the lexicographical ordering on the additive semigroups of n-tuples of nonnegative integers and n-tuples of integers. 1. Semigroups with identities and zeros A binary operation ∗ on a set S is associative if (a ∗ b) ∗ c = a ∗ (b ∗ c) for all a, b, c ∈ S. A semigroup is a...
متن کاملOrdered monoids and J-trivial monoids
In this paper we give a new proof of the following result of Straubing and Thérien: every J -trivial monoid is a quotient of an ordered monoid satisfying the identity x ≤ 1. We will assume in this paper that the reader has a basic background in finite semigroup theory (in particular, Green’s relations and identities defining varieties) and in computer science (languages, trees, heaps). All semi...
متن کاملOn the decidability of semigroup freeness
This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup S is defined as: given a finite subset X ⊆ S, decide whether each element of S has at most one factorization over X. To date, the decidabilities of two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness pr...
متن کامل